/*
 * \brief  Pistachio-specific implementation of the signaling framework
 * \author Norman Feske
 * \date   2008-09-16
 */

/*
 * Copyright (C) 2008-2009 Norman Feske
 * Genode Labs, Feske & Helmuth Systementwicklung GbR
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#include <base/native_signal.h>

using namespace Genode;

Native_signal_receiver_capability Native_signal_receiver::cap(long imprint)
{
	/*
	 * We create a signal-receiver capability out of the thread ID of the
	 * signal receiver thread and the specified imprint argument, which we
	 * use as local name.
	 */

	return Native_signal_receiver_capability(Capability(_cap.tid(), imprint));
}
